generated by fetch_ide_toolchain.py
